<?php
  function format_lenght($seg)
  {
    return sprintf('%d:%02d', ($seg / 60), $seg % 60);
  }